Nuprl Lemma : nsgrp_of_ideal_wf
13,42
postcript
pdf
r
:CRng,
a
:Ideal(
r
){i}. nsgrp_of_ideal(
a
)
NormSubGrp{i}(
r
+gp)
latex
Up
rings
1
Definitions of Statement
nsgrp_of_ideal(
a
)
origin
r:CRng, a:Ideal(r){i}. nsgrp_of_ideal(a) 
NormSubGrp{i}(r
+gp) r:CRng, a:Ideal(r){i}. nsgrp_of_ideal(a) NormSubGrp{i}(r+gp)